1*35f70200SMichael Kruse{
2*35f70200SMichael Kruse   "context" : "[arg] -> {  : arg >= -9223372036854775808 and arg <= 9223372036854775807 }",
3*35f70200SMichael Kruse   "name" : "loop1 => exit",
4*35f70200SMichael Kruse   "statements" : [
5*35f70200SMichael Kruse      {
6*35f70200SMichael Kruse         "accesses" : [
7*35f70200SMichael Kruse            {
8*35f70200SMichael Kruse               "kind" : "write",
9*35f70200SMichael Kruse               "relation" : "[arg] -> { Stmt_loop1[i0] -> MemRef_A[5 * i0 - 10]  }"
10*35f70200SMichael Kruse            }
11*35f70200SMichael Kruse         ],
12*35f70200SMichael Kruse         "domain" : "[arg] -> { Stmt_loop1[i0] : i0 >= 0 and i0 <= -2 + arg }",
13*35f70200SMichael Kruse         "name" : "Stmt_loop1",
14*35f70200SMichael Kruse         "schedule" : "[arg] -> { Stmt_loop1[i0] -> [0, i0] }"
15*35f70200SMichael Kruse      },
16*35f70200SMichael Kruse      {
17*35f70200SMichael Kruse         "accesses" : [
18*35f70200SMichael Kruse            {
19*35f70200SMichael Kruse               "kind" : "read",
20*35f70200SMichael Kruse               "relation" : "[arg] -> { Stmt_loop2[i0] -> MemRef_A[42] }"
21*35f70200SMichael Kruse            },
22*35f70200SMichael Kruse            {
23*35f70200SMichael Kruse               "kind" : "write",
24*35f70200SMichael Kruse               "relation" : "[arg] -> { Stmt_loop2[i0] -> MemRef_val[] }"
25*35f70200SMichael Kruse            }
26*35f70200SMichael Kruse         ],
27*35f70200SMichael Kruse         "domain" : "[arg] -> { Stmt_loop2[i0] : i0 >= 0 and i0 <= -2 + arg }",
28*35f70200SMichael Kruse         "name" : "Stmt_loop2",
29*35f70200SMichael Kruse         "schedule" : "[arg] -> { Stmt_loop2[i0] -> [1, i0] }"
30*35f70200SMichael Kruse      },
31*35f70200SMichael Kruse      {
32*35f70200SMichael Kruse         "accesses" : [
33*35f70200SMichael Kruse            {
34*35f70200SMichael Kruse               "kind" : "write",
35*35f70200SMichael Kruse               "relation" : "[arg] -> { Stmt_loop3[i0] -> MemRef_A[13 * i0 + 5] }"
36*35f70200SMichael Kruse            },
37*35f70200SMichael Kruse            {
38*35f70200SMichael Kruse               "kind" : "read",
39*35f70200SMichael Kruse               "relation" : "[arg] -> { Stmt_loop3[i0] -> MemRef_val[] }"
40*35f70200SMichael Kruse            }
41*35f70200SMichael Kruse         ],
42*35f70200SMichael Kruse         "domain" : "[arg] -> { Stmt_loop3[i0] : i0 >= 0 and i0 <= -2 + arg }",
43*35f70200SMichael Kruse         "name" : "Stmt_loop3",
44*35f70200SMichael Kruse         "schedule" : "[arg] -> { Stmt_loop3[i0] -> [2, i0] }"
45*35f70200SMichael Kruse      }
46*35f70200SMichael Kruse   ]
47*35f70200SMichael Kruse}
48